The connected Vietoris powerlocale
نویسندگان
چکیده
منابع مشابه
The connected Vietoris powerlocale
The Vietoris powerlocale V X is a point-free analogue of the Vietoris hyperspace. In this paper we introduce and study a sublocale V X whose points are those points of V X that (considered as sublocales of X) satisfy a constructively strong connectedness property. V c is a strong monad on the category of locales. The strength gives rise to a product map × : V X × V Y → V (X × Y ), showing that ...
متن کاملVietoris Bisimulations
Building on the fact that descriptive frames are coalgebras for the Vietoris functor on the category of Stone spaces, we introduce and study the concept of a Vietoris bisimulation between two descriptive modal models, together with the associated notion of bisimilarity. We prove that our notion of bisimilarity, which is defined in terms of relation lifting, coincides with Kripke bisimilarity (w...
متن کاملThe Vietoris modifications of a frame
The many different point-sensitive Vietoris modifications of a topological space have been around for many years. These constructions produce what are often called hyperspaces of a space. The point-free version, which is rather more modern, was introduced in [3] and reworked in [4]. Since then nothing much worth reading has been written about the construction, although [6] is an exception to th...
متن کاملA universal characterization of the double powerlocale
This is a version from 29 Sept 2003 of the paper published under the same name in Theoretical Computer Science 316 (2004) 297–321. The double powerlocale P(X) (found by composing, in either order, the upper and lower powerlocale constructions PU and PL) is shown to be isomorphic in [Loc,Set] to the double exponential SS X where S is the Sierpiński locale. Further PU (X) and PL(X) are shown to b...
متن کاملModal logic and the Vietoris functor
In [17], Esakia uses the Vietoris topology to give a coalgebra-flavored definition of topological Kripke frames, thus relating the Vietoris topology, modal logic and coalgebra. In this chapter, we sketch some of the thematically related mathematical developments that followed. Specifically, we look at Stone duality for the Vietoris hyperspace and the Vietoris powerlocale, and at recent work com...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Topology and its Applications
سال: 2009
ISSN: 0166-8641
DOI: 10.1016/j.topol.2009.03.043